home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont5 < prev    next >
Encoding:
Text File  |  1990-01-08  |  972 b   |  44 lines  |  [TEXT/Help]
  1. ;FAC+COURS=ENNUI
  2.  
  3.  
  4.  
  5. (eager(c))
  6.  
  7.  
  8. (r3 c e r2 o n r1 f u r0 a r s i)
  9.  
  10.  
  11. ((=? (+ c s) (+ i (* 10 r0)))
  12.  (=? (+ r0 (+ a r)) (+ u (* 10 r1)))
  13.  (=? (+ r1 (+ f u)) (+ n (* 10 r2)))
  14.  (=? (+ r2 o) (+ n (* 10 r3)))
  15.  (=? (+ r3 c) e)
  16.  (<>? f a) (<>? f c) (<>? f o) (<>? f u)
  17.  (<>? f r) (<>? f s) (<>? f e) (<>? f n)
  18.  (<>? f i) (<>? a c) (<>? a o) (<>? a u)
  19.  (<>? a r) (<>? a s) (<>? a e) (<>? a n)
  20.  (<>? a i) (<>? c o) (<>? c u) (<>? c r)
  21.  (<>? c s) (<>? c e) (<>? c n) (<>? c i)
  22.  (<>? o u) (<>? o r) (<>? o s) (<>? o e)
  23.  (<>? o n) (<>? o i) (<>? u r) (<>? u s)
  24.  (<>? u e) (<>? u n) (<>? u i) (<>? r s)
  25.  (<>? r e) (<>? r n) (<>? r i) (<>? s e)
  26.  (<>? s n) (<>? s i) (<>? e n) (<>? e i)
  27.  (<>? n i)(<>? f 0)(<>? c 0)(<>? e 0))
  28.  
  29.  
  30. ((0 1)
  31.  (0 1 2 3 4 5 6 7 8 9)
  32.  (0 1 2 3 4 5 6 7 8 9)
  33.  (0 1)
  34.  (0 1 2 3 4 5 6 7 8 9)
  35.  (0 1 2 3 4 5 6 7 8 9)
  36.  (0 1)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1 2 3 4 5 6 7 8 9)
  39.  (0 1)
  40.  (0 1 2 3 4 5 6 7 8 9)
  41.  (0 1 2 3 4 5 6 7 8 9)
  42.  (0 1 2 3 4 5 6 7 8 9)
  43.  (0 1 2 3 4 5 6 7 8 9))
  44.